вычет очков
снижение баллов
[Департамент лингвистических услуг Оргкомитета «Сочи 2014». Глоссарий терминов]
EN
Англо-русский словарь нормативно-технической терминологии. academic.ru. 2015.
déduction — [ dedyksjɔ̃ ] n. f. • 1355; lat. deductio I ♦ Action de soustraire une somme d une autre. ⇒ décompte, défalcation, retranchement, soustraction. Faire la déduction des sommes déjà payées. Déduction faite des arrhes versées. Somme qui entre, vient… … Encyclopédie Universelle
Deduction — may refer to: in logic: Deductive reasoning, inference in which the conclusion is of no greater generality than the premises Natural deduction, an approach to proof theory that attempts to provide a formal model of logical reasoning as it… … Wikipedia
Deduction and induction — may refer to: Deductive reasoning Inductive reasoning Validity Cogency This disambiguation page lists articles associated with the same title. If an … Wikipedia
deduction — That which is deducted; the part taken away; abatement; as deductions from gross income in arriving at net income for tax purposes. In the civil law, a portion or thing which an heir has a right to take from the mass of the succession before any… … Black's law dictionary
deduction — That which is deducted; the part taken away; abatement; as deductions from gross income in arriving at net income for tax purposes. In the civil law, a portion or thing which an heir has a right to take from the mass of the succession before any… … Black's law dictionary
Point system (driving) — A demerit point system is one in which a driver s licensing authority, police force, or other organization issues cumulative demerits, or points to drivers on conviction for road traffic offenses. Points may either be added or subtracted,… … Wikipedia
Tax deduction — This article is about the deduction of expenses for the purpose of calculating taxable income. For tax deducted at source, see Withholding tax. Taxation An aspect of fiscal policy … Wikipedia
Natural deduction — In logic and proof theory, natural deduction is a kind of proof calculus in which logical reasoning is expressed by inference rules closely related to the natural way of reasoning. This contrasts with the axiomatic systems which instead use… … Wikipedia
Home mortgage interest deduction — Taxation An aspect of fiscal policy … Wikipedia
Style de Fitch pour la deduction naturelle — Style de Fitch pour la déduction naturelle Le logicien Fitch a proposé une variante de la déduction naturelle où les démonstrations sont présentées de façon linéaire, renonçant à la structure arborescente proposée par Gentzen. Sommaire 1… … Wikipédia en Français
Style de Fitch pour la déduction naturelle — Le logicien Frederic Brenton Fitch (en) a proposé une variante de la déduction naturelle où les démonstrations sont présentées de façon linéaire, renonçant à la structure arborescente proposée par Gentzen. Sommaire 1 Introduction … Wikipédia en Français
